Completude funcional

Em lógica, um grupo de conectivos ou operadores Booleanos ^[1] tem a propriedade da completude funcional se todos outros conectivos possíveis podem ser definidos em função dele.

Do ponto de vista da eletrônica digital, completude funcional significa que cada porta lógica possível pode ser tratada como uma rede de portas dos tipos prescritos pelo conjunto. Em particular, todas as portas lógicas podem ser montadas a partir de apenas NANDs e NOR. ^{[2] [3][4][5]}